l Integrable theorem